منابع مشابه
Algebraic Matching of Vulnerabilities in a Low-Level Code
This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...
متن کاملproficiency level and factors fostering reticence in efl learners
according to cheng (1999), in recent esl/efl literature, asian (especially east asian) learners of english as a foreign/second language have been arguably reported as reticent and passive learners. the most common allegations are that these students are reluctant to participate in classroom discourse; they are unwilling to give responses; they do not ask questions; and they are passive and over...
15 صفحه اولCement hydration: building bridges and dams at the microstructure level
The concurrent goals of cement hydration are to percolate (bridge) the original cement particles into a load-bearing network and to depercolate (dam) the original water-filled capillary porosity. The initial volume, particle size distribution, and flocculation/dispersion state of the cement particles have a large influence on both hydration rates and microstructure development. Likewise, the ca...
متن کاملA Circuit Level Fault Model for Resistive Opens and Bridges
Delay faults are an increasingly important test challenge. Traditional open and bridge fault models are incomplete because only the functional fault or a subset of delay fault are modeled. In this paper, we propose a circuit level model for resistive open and bridge faults. All possible fault behaviors are illustrated and a general resistive bridge delay calculation method is proposed. The new ...
متن کاملQueensland.
In mid-August and at the height of an election focused upon on the contest between the major parties and their leaders, the mayors of Richmond, Hinchinbrook, Mount Isa and several other north Queensland local councils announced they would lobby the Local Government Association of Queensland (LGAQ) to press for the creation of a separate State. In Kennedy, Bob Katter— en route to achieving a pri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Minutes of the Proceedings of the Institution of Civil Engineers
سال: 1896
ISSN: 1753-7843
DOI: 10.1680/imotp.1896.19573